Theoretical Computer Science and General Issues
Janssen / Mäntymäki / Hidders / Klievink / Lamersdorf / Loenen / Zuiderwijk
Open and Big Data Management and Innovation
Open and Big Data Management and Innovation
14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings
Al-Sharhan / Simintiras / Dwivedi / Janssen / Mäntymäki / Tahat / Moughrabi / Ali / Rana
Challenges and Opportunities in the Digital Era
Challenges and Opportunities in the Digital Era
17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 - November 1, 2018, Proceedings
Dwivedi / Mäntymäki / Ravishankar / Janssen / Clement / Slade / Rana / Al-Sharhan / Simintiras
Social Media: The Good, the Bad, and the Ugly
Social Media: The Good, the Bad, and the Ugly
15th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2016, Swansea, UK, September 13-15, 2016, Proceedings
Kar / Ilavarasan / Gupta / Dwivedi / Mäntymäki / Janssen / Simintiras / Al-Sharhan
Digital Nations - Smart Cities, Innovation, and Sustainability
Digital Nations - Smart Cities, Innovation, and Sustainability
16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings
Chapman / Moreira
Languages and Compilers for Parallel Computing
Languages and Compilers for Parallel Computing
33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers
Shen / Sang / Zhang / Xiao / Arabnia / Fox / Gupta / Malek
Parallel and Distributed Computing, Applications and Technologies
Parallel and Distributed Computing, Applications and Technologies
22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings
Chen / Li / Zhang
International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings
Lai / Wang / Jiang / Xu / Liang / Castiglione
Algorithms and Architectures for Parallel Processing
Algorithms and Architectures for Parallel Processing
21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part II
Finkbeiner / Wies
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Cérin / Qian / Gaudiot / Tan / Zuckerman
Network and Parallel Computing
Network and Parallel Computing
18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings
Klusácek / Cirne / Rodrigo
Job Scheduling Strategies for Parallel Processing
Job Scheduling Strategies for Parallel Processing
24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers
Silva / Wassermann / De Queiroz
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
Margaria / Steffen
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Fahrenberg / Gehrke / Santocanale / Winter
Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Barendsen / Chytas
Informatics in Schools. Rethinking Computing Education
Informatics in Schools. Rethinking Computing Education
14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3-5, 2021, Proceedings
Johnen / Schiller / Schmid
Stabilization, Safety, and Security of Distributed Systems
Stabilization, Safety, and Security of Distributed Systems
23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings
Koenemann / Peis
Approximation and Online Algorithms
Approximation and Online Algorithms
19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers
Han / Ko
Descriptional Complexity of Formal Systems
Descriptional Complexity of Formal Systems
23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings
Olderog / Steffen / Yi
Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Lai / Wang / Jiang / Xu / Liang / Castiglione
Algorithms and Architectures for Parallel Processing
Algorithms and Architectures for Parallel Processing
21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I